Why Seismic Networks Need Digital Object Identifiers

Digital Object Identifiers

Digital Object Identifiers for scientific data

The Digital Object Identifier (DOI) is a system for identifying content objects in the digital environment. DOIs are names assigned to any entity for use on Internet digital networks. Scientific data sets may be identified by DOIs, and several efforts are now underway in this area. This paper outlines the underlying architecture of the DOI system, and two such efforts which are applying DOIs to...

Digoiduna Digital Object Identifiers and Unique Authors Identifiers to Enable Services for Data Quality Assessment, Provenance and Access

Object Identifiers for Test Certificate Policies

This document provides several certificate policy identifiers for testing certificate handling software. (IETF). It represents the consensus of the IETF community. It has received public review and has been approved for publication by the Internet Engineering Steering Group (IESG). Not all documents approved by the IESG are a candidate for any level of Internet Standard; see Section 2 of RFC 57...

E-Hyper Tableaux with Distinct Object Identifiers

E-KRHyper is a versatile theorem prover and model generator for firstorder logic that natively supports equality. Inequality of constants, however, has to be given by explicitly adding facts. As the amount of these facts grows quadratically in the number of these distinct constants, the knowledge base is blown up. This makes it harder for a human reader to focus on the actual problem, and impai...